AI写作工具
文献服务
退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:存在噪声和过程变化时模拟电路的形式验证
Rajeev Narayanan; Behzad Akbarpour; Mohamedh. Zaki; Sofiène Tahar; Lawrence C. Paulson;
机译:存在噪声和过程变化时模拟电路的统计运行时验证
机译:正式验证线性模拟电路的传递函数
机译:利用边界优化进行模拟电路的半形式验证
机译:在存在噪声和过程变化的情况下对模拟电路进行形式验证
机译:高效,声音正式验证模拟/混合信号电路
机译:评估扫描仪背景噪声对听觉处理的影响。二。 fMRI研究使用稀疏设计比较了在不存在和存在记录的扫描仪噪声的情况下的听觉处理
机译:用电化学传感器对检测系统的灵敏度变化和检测流体成分存在的装置进行验证的过程
机译:用于过程和环境变化以及分层电路的快速嵌套回路验证的方法和系统
机译:过程和环境变化及分层电路的快速嵌套循环验证方法和系统
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。